#!/bin/sh

export JBOSS_HOME={###JBOSS_HOME###}
export SERVER_HOME={###SERVER_HOME###}
export SERVER_NAME={###SERVER_NAME###}
export PARTITION_NAME={###PARTITION_NAME###}
export MULTICAST_ADDR={###MULTICAST_ADDR###}
export JBM_DC_PORT={###JBM_DC_PORT###}
export JBM_CC_PORT={###JBM_CC_PORT###}

echo "================================================"
echo "JBOSS_HOME=$JBOSS_HOME"
echo "SERVER_HOME=$SERVER_HOME"
echo "SERVER_NAME=$SERVER_NAME"
echo "================================================"
